1

Algorithmic thermodynamics

Year:
2012
Language:
english
File:
PDF, 384 KB
english, 2012
2

Bicategorical Semantics for Nondeterministic Computation

Year:
2013
Language:
english
File:
PDF, 234 KB
english, 2013